COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(setq lfonct '(
C00015 ENDMK
C⊗;
(setq lfonct '(
(progn ((!1) (traiter !1))
       (() (traiter ()))
       ((!1 ?2)
         (ref (traiter !1)
            !- --> (traiter (progn ?2)))))
(setq ((!((2) (2 (%nb%))) !1)
         (ref (traiter !1)
            !3 --> (%proc% !3 (phys (!((2) (2 (%nb%))) . !3))))))
(null ((!1)
         (ref (traiter !1)
            nil --> t
            !((1 2 4) (x (%nb%))) --> nil)))
(cons ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            (!3 (?4)) --> (!3 ?4))))
(length ((!1)
         (ref (traiter !1)
            ((%l% (!((1 2 3 4) (x (%nb%  ?i)))) (i (%nb% ?n))))
                      --> (%nb% ?n))))
(memq ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            (!((1 2 3) (3 (%nb%)))
             ((%l% ((%c% !((1 2 3) (3 (%nb%))) !((1 2 3 4) (4 (%nb% ?i)))))
                   (i (%nb% ?a)) ))) --> nil
            (!((1 2 3) (3 (%nb%)))
             ((%l% ((%c% !((1 2 3) (3 (%nb%))) !((1 2 3 4) (4 (%nb% ?i)))))
                   (i (%nb% ?a))) !((1 2 3) (3 (%nb%))) ?5))
                --> (!((1 2 3) (3 (%nb%))) ?5) )))
(member ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            (!3 ((%l% ((%c% !3 !((1 2 3 4) (4 (%nb% ?i)))))
                      (i (%nb% ?a))))) --> nil
            (!3 ((%l% ((%c% !3 !((1 2 3 4) (4 (%nb% ?i)))))
                      (i (%nb% ?a))) !3 ?5))
                --> (!3 ?5) )))
(cond (((!1 ?2))
         (ref (traiter !1)
            nil --> nil
            !((1 2 4) (x (%nb%))) --> (traiter (progn ?2))))
      (((!1 ?2) ?3)
         (ref (traiter !1)
            nil --> (traiter (cond ?3))
            !((1 2 4) (xx (%nb%))) --> (traiter (progn ?2)) )))
(car ((!1)
         (ref (traiter !1)
            nil --> nil
            (!2 ?3) --> !2)))
(cdr ((!1)
         (ref (traiter !1)
            nil --> nil
            (!2 ?3) --> (?3))))
(cddr ((!1)
         (ref (traiter !1)
            (!2 !3 ?4) --> (?4))))
(cadr ((!1)
         (ref (traiter !1)
            (!2 !3 ?4) --> !3)))
(caar ((!1)
         (ref (traiter !1)
            ((!4 ?2) ?3) --> !4)))
(cdar ((!1)
         (ref (traiter !1)
            ((!4 ?2) ?3) --> (?2))))
(cdddr ((!1)
         (ref (traiter !1)
            (!5 !2 !3 ?4) --> (?4))))
(caddr ((!1)
         (ref (traiter !1)
            (!5 !2 !3 ?4) --> !3)))
(cdadr ((!1)
         (ref (traiter !1)
            (!5 (!2 ?3) ?4) --> (?3))))
(cddar ((!1)
         (ref (traiter !1)
            ((!5 !2 ?3) ?4) --> (?3))))
(caadr ((!1)
         (ref (traiter !1)
            (!5 (!2 ?3) ?4) --> !2)))
(cadar ((!1)
         (ref (traiter !1)
            ((!5 !2 ?3) ?4) --> !2)))
(cdaar ((!1)
         (ref (traiter !1)
            (((!5 ?2) ?3) ?4) --> (?2))))
(caaar ((!1)
         (ref (traiter !1)
            (((!5 ?2) ?3 ) ?4) --> !5)))
(quote ((!1) !1))
(atom ((!1)
         (ref (traiter !1)
            !((1 2 3)(2 (%nb%))) --> t
            !((4) (2 (%nb%))) --> nil)))
(listp ((!1)
         (ref (traiter !1)
            !((1 2 3)(2 (%nb%))) --> nil
            !((4) (2 (%nb%))) --> t)))
(litatom ((!1)
         (ref (traiter !1)
            !((2)(2 (%nb%))) --> t
            !((1 3 4)(2 (%nb%))) --> nil)))
(numbp ((!1)
         (ref (traiter !1)
            !((1) (2 (%nb%))) --> t
            !((2 3 4) (2 (%nb%))) --> nil)))
(append ((!1 !2)
         (ref ((traiter !1)(traiter !2))
            ((?3) (?4)) --> (?3 ?4))))
(nconc ((!1 !2) (traiter (append !1 !2))))
(nextl (( !((2)(2 (%nb%))))
         (ref (traiter !((2)(2 (%nb%))))
            (!1 ?3) --> (%proc% !1 (phys (!((2)(2 (%nb%))) ?3))))))
(nconc1 ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            ((?3) !4) --> (?3 !4))))
(eq ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            (!((1 2 3)(3 (%nb%))) !((1 2 3)(3 (%nb%)))) --> t
            (!3 (%c% !3 !4)) --> nil
            ((?4) (?4)) --> nil)))
(equal ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            (!3 !3) --> t
            (!3 (%c% !3 !4)) --> nil)))
(neq ((!1 !2) (traiter (null (eq !1 !2)))))
(assoc ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            (!3 ((%l% (( (%c% !3 !((1 2 3 4) (4 (%nb% ?i)))) ?5)) 
                      (i (%nb% ?6))))) --> nil
            (!3 ((%l% (( (%c% !3 !((1 2 3 4) (4 (%nb% ?i)))) ?5))
                      (i (%nb% ?6))) (!3 ?7) ?8))
                                       --> (!3 ?7))))
(cassoc ((!1 !2) (traiter (cdr (assoc !1 !2)))))
(list (((%l% (!((1 2 3 4) (x (%nb% ?i)))) (i (%nb% ?n))))
         ((%l% ((traiter !((1 2 3 4)(x (%nb% ?i))))) (i (%nb% ?n))))
      )) 
(mcons (((%l% (!((1 2 3 4)(x (%nb% ?i)))) (i (%nb% ?n))) !y)
         (ref ((%l% ((traiter !((1 2 3 4)(x (%nb% ?i))))) (i (%nb% ?n)))
              (traiter !y))
            (!1 (?2)) --> (?1 ?2))))
(if ((!1 !2 ?3)
         (ref (traiter !1)
            () --> (traiter (progn ?3))
            !((1 2 4)(4 (%nb%))) --> (traiter !2) )))
(and ((!1) (traiter !1))
     ((!1 ?2) 
         (ref (traiter !1)
            nil --> nil
            !((1 2 4) (3 (%nb%))) --> (traiter (and ?2))))
     (() t))
(or  ((!1) (traiter !1))
     ((!1 ?2)
         (ref (traiter !1)
            nil --> (traiter (or ?2))
            !((1 2 4) (3 (%nb%))) --> !((1 2 4) (3 (%nb%))))))
(cdrnth ((!1 !2)
         (ref ((traiter !1) (traiter !2))
            ((%nb% ?3) ((%l% (!((1 2 3 4) (4 (%nb% ?i)))) (i (%nb% ?3))) ?x))
                         --> (?x)
            ((%nb% ?3 1 ?5) 
             ((%l% (!((1 2 3 4) (4 (%nb% ?i)))) (i (%nb% ?3))))) --> nil)))
(last ((!x)
         (ref (traiter !x)
            (?1 !2) --> !2)))
(jusq ((!n !l)
         (ref ((traiter !n) (traiter !l))
            ((%nb% ?1) ((%l% (!((1 2 3 4)(x (%nb% ?i)))) (i (%nb% ?1))) ?2))
               --> ((%l% (!((1 2 3 4) (x (%nb% ?i)))) (i (%nb% ?1))))
            ((%nb% ?1 1 ?2) ((%l% (!((1 2 3 4) (x (%nb% ?i)))) (i (%nb% ?1)))))
               --> ((%l% (! ((1 2 3 4) (x (%nb% ?i)))) (i (%nb% ?1)))))))
(gt ((!1 !2)
     (ref ((traiter !1) (traiter !2))
          ((%nb% ?3 1 ?4) (%nb% ?3)) --> t
          ((%nb% ?3) (%nb% ?3 ?4)) --> nil)))
(le ((!1 !2)
     (ref ((traiter !1) (traiter !2))
          ((%nb% ?3 1 ?4) (%nb% ?3)) --> nil
          ((%nb% ?3) (%nb% ?3 ?4)) --> t)))
(lt ((!1 !2)
     (ref ((traiter !1) (traiter !2))
          ((%nb% ?3) (%nb% ?3 1 ?4)) --> t
          ((%nb% ?3 ?4) (%nb% ?3)) --> nil)))
(ge ((!1 !2)
     (ref ((traiter !1) (traiter !2))
          ((%nb% ?3) (%nb% ?3 1 ?4)) --> nil
          ((%nb% ?3 ?4) (%nb% ?3)) --> t)))
(add1 ((!1)
     (ref (traiter !1)
          (%nb% ?2) --> (%nb% ?2 1))))
(sub1 ((!1)
     (ref (traiter !1)
          (%nb% ?2 1) --> (%nb% ?2))))
(incr ((!((2)(1(%nb%))))
     (ref (traiter !((2)(1(%nb%))))
          (%nb% ?2) --> (%proc% (%nb% 1 ?2) (phys (!((2)(1(%nb%))) %nb% 1 ?2))
))))
(decr ((!((2)(1(%nb%))))
     (ref (traiter !((2)(1 (%nb%))))
          (%nb% 1 ?2) --> (%proc% (%nb% ?2) (phys (!((2)(1(%nb%))) %nb% ?2))
))))
(plus ((!1 !2)
     (ref ((traiter !1) (traiter !2))
          ((%nb% ?3) (%nb% ?4)) --> (%nb% ?3 ?4))))
(differ ((!1 !2)
     (ref ((traiter !1) (traiter !2))
          ((%nb% ?3)(%nb% ?3 1 ?4)) --> (%nb%)
          ((%nb% ?3 ?4) (%nb% ?3)) --> (%nb% ?4))))
(zerop ((!1)
     (ref (traiter !1)
          (%nb% ) --> t
          (%nb% 1 ?2) --> nil)))
(nerop ((!1)
     (ref (traiter !1)
          (%nb%) --> nil
          (%nb% 1 ?2) --> t)))
(print ((!1)
     (ref ((traiter !1)(traiter page))
          (!2 (?3 (?4))) --> (%proc% !2 (phys (page ?3 (?4 !2) ()))))))
(prin1 ((!1)
     (ref ((traiter !1)(traiter page))
          (!2 (?3 (?4))) --> (%proc% !2 (phys (page ?3 (?4 !2)))))))
(terpri (()
     (ref (traiter page)
          (?3) --> (%proc% nil (phys (page ?3 ()))))))
))